Modeling of Requirements Tracing
نویسندگان
چکیده
Software customers want both sufficient product quality and agile response to requirements changes. Formal software requirements tracing helps to systematically determine the impact of changes and to keep track of development artifacts that need to be re-tested when requirements change. However, full tracing of all requirements on the most detailed level can be very expensive and time consuming. In the paper an initial “tracing activity model” is introduced along with a framework that allows measuring the expected cost and benefit of tracing approaches. In a feasibility study a subset of the activities belonging to the model has been applied to compare three tracing strategies: agile, “just in time” tracing, and fully formal tracing. The study focused on retesting and it has been performed in the context of an industry project where the customer was a large financial service provider.In the study a) the model was found useful to capture costs and benefits of the tracing activities and to compare different strategies; b) a combination of tracing approaches proved helpful in balancing agility and formalism.
منابع مشابه
Velocity Modeling in a Vertical Transversely Isotropic Medium Using Zelt Method
In the present paper, the Zelt algorithm has been extended for ray tracing through an anisotropic model. In anisotropic media, the direction of the propagated energy generally differs from that of the plane-wave propagation. This makes velocity values to be varied in different directions. Therefore, velocity modeling in such media is completely different from that in an isotropic media. The vel...
متن کاملAn Approach of Requirements Tracing in Formal Refinement
Formal modeling of computing systems yields models that are intended to be correct with respect to the requirements that have been formalized. The complexity of typical computing systems can be addressed by formal refinement introducing all the necessary details piecemeal. We report on preliminary results that we have obtained for tracing informal natural-language requirements into formal model...
متن کاملDevelopment of a Car Seat: A Case Study using AUTOFOCUS, DOORS, and the Validas Validator
In this paper we describe the modeling process and the resulting model of a typical car seat. The requirements of this seat are documented in [Chr00] which are the input of our process. We used the tools AUTOFOCUS [AF-02], DOORS [Tel02], and Validas Validator [Val02]. Starting with requirements analysis we develop first model fragments. Afterwards the graphical, component oriented approach of A...
متن کاملModeling Habitat Requirements of Leopard (Panthera pardus) Using Genetic Algorithm in Golestan National Park
متن کامل
Ray Tracing of Geometric Primitives According to the RenderMan-Standard
Ray Tracing of high-quality images has two basic requirements: a renderer and a modeler. Usually , communication between those two is done by a speciied le-format. Each renderer capable of that format should produce images according to the speciication. One popular and powerful format is the RenderMan Interface Bytestream Protocol by Pixar. Unfortunately, its speciication is ambiguous in some c...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007